bitkeeper revision 1.1340.1.1 (4267e2f9w3cY4KkexyNS9ToHGVVs9Q)
authormaf46@burn.cl.cam.ac.uk <maf46@burn.cl.cam.ac.uk>
Thu, 21 Apr 2005 17:29:29 +0000 (17:29 +0000)
committermaf46@burn.cl.cam.ac.uk <maf46@burn.cl.cam.ac.uk>
Thu, 21 Apr 2005 17:29:29 +0000 (17:29 +0000)
commit663c8cdf62b7ab1a13f8c7d8ee5b798e43c51bbc
tree5d41bcfb54e74a5e8a1c5d558fe0cf600996f86e
parent82eea1d76fdbe948af8d0b5096c7c994f0ba3d10
bitkeeper revision 1.1340.1.1 (4267e2f9w3cY4KkexyNS9ToHGVVs9Q)

Patch to enable the destruction of domains which have shadow mode enabled.
Also fixes some shadow mode ref counting bugs, and one bug in check_pte()
recently introduced by the changes in page table accessor types/macros.

Signed-off-by: michael.fetterman@cl.cam.ac.uk
xen/arch/x86/domain.c
xen/arch/x86/shadow.c
xen/arch/x86/vmx.c
xen/common/page_alloc.c
xen/include/asm-x86/shadow.h